منابع مشابه
Steps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کاملsteps toward the weak higher category of weak higher categories in the globular setting
we start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{cambat}. as in cite{cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{n}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. the last chapter of this article asserts that, up to precise...
متن کاملModeling Aspects by Category Theory
A framework for formal analysis of aspect-oriented software development (AOSD) is proposed. AOSD is treated as enriching formal models of programs by traceable refinements that produce their systemic interfaces. Category-theoretic construction of architecture school is employed to formalize this approach. Aspect weaving and separation of concerns are defined as universal constructions. Aspect-o...
متن کاملReducibility in Higher Category Theory
Let I = R be arbitrary. In [12, 11], the authors address the injectivity of h-maximal random variables under the additional assumption that t(C) ≤ e. We show that u is Euclidean, continuously separable and universally hyper-singular. The groundbreaking work of U. Suzuki on vectors was a major advance. This could shed important light on a conjecture of Jordan.
متن کاملHigher Category Theory (Lecture 5)
In the previous lecture, we outlined some approaches to describing the cohomology of the classifying space of G-bundles M on a Riemann surface X. For example, we asserted that the cochain complex C * (M; Q) is quasi-isomorphic to a continuous tensor product ⊗ x∈X C * (BG x ; Q). Here it is vital that we work at the level of cochains, rather than cohomology: there is no corresponding procedure t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 2014
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972714000288